/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 	ISeptember 18, 1980 




␈↓ ↓H␈↓Professor Donald Michie
␈↓ ↓H␈↓Department of Computer Science
␈↓ ↓H␈↓222 Digital Computer Laboratory
␈↓ ↓H␈↓Urbana, Illinois 61801

␈↓ ↓H␈↓Dear Donald:

␈↓ ↓H␈↓        Thanks for your letter of 8 Sept.  I didn't remember our discussion as argumentative.

␈↓ ↓H␈↓        Before␈α∞I␈α∞can␈α∞have␈α∞an␈α∂opinion␈α∞on␈α∞the␈α∞correspondence␈α∞between␈α∞partially␈α∂constructed␈α∞tra≠c
␈↓ ↓H␈↓lights␈α∞and␈α∂partially␈α∞constructed␈α∂decision␈α∞trees,␈α∂I␈α∞have␈α∂to␈α∞get␈α∂my␈α∞thoughts␈α∂in␈α∞better␈α∂order␈α∞about
␈↓ ↓H␈↓physical␈α
construction.␈α Maybe␈α
I␈α
can␈αanswer␈α
your␈α
letter␈αbetter␈α
later␈α
or␈αsend␈α
you␈α
something␈αthat␈α
may
␈↓ ↓H␈↓be␈αhelpful.␈α FOL␈α
is␈αnot␈αa␈α
problem␈αsolving␈αsystem␈α
in␈αitself,␈αso␈α
eventually␈αwe␈αwill␈α
need␈αone␈αthat␈α
has
␈↓ ↓H␈↓su≠cient␈α∃epistemological␈α∀generality␈α∃in␈α∀the␈α∃objects␈α∀it␈α∃can␈α∀contemplate.␈α∃ Lew␈α∀Creary␈α∃here,␈α∀a
␈↓ ↓H␈↓philosopher by background, is thinking about such a problem solver.

␈↓ ↓H␈↓        The␈αworkshop␈αprogram␈αlooks␈α
interesting,␈αand␈αI'll␈αgive␈αyou␈α
a␈αde≡nite␈αanswer␈αby␈αthe␈α
end␈αof
␈↓ ↓H␈↓November,␈α
but␈α∞it␈α
con∨icts␈α
with␈α∞a␈α
meeting␈α
in␈α∞Spain␈α
I␈α
want␈α∞to␈α
go␈α
to␈α∞on␈α
te␈α
way␈α∞to␈α
spend␈α∞May␈α
in
␈↓ ↓H␈↓Marseille.  I may come but leave on the 24th or evening of 23rd.


␈↓ ↓H␈↓Best regards,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science

␈↓ ↓H␈↓cc: Creary